pointwise infimum

点式下确界